* make-dist: Distribute lib-src/update-game-score.exe.manifest.
authorGlenn Morris <rgm@gnu.org>
Fri, 11 Apr 2014 06:39:11 +0000 (23:39 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 11 Apr 2014 06:39:11 +0000 (23:39 -0700)
ChangeLog
make-dist

index 577e952d3bd4d489b5b937cc8127433f81f233f6..a5785d79121793055682b7be63b69a4f8b33575f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,7 @@
 2014-04-11  Glenn Morris  <rgm@gnu.org>
 
        * make-dist: Do not distribute generated admin/grammars/Makefile.
+       Do distribute lib-src/update-game-score.exe.manifest.
 
 2014-04-09  Ken Brown  <kbrown@cornell.edu>
 
index 6dddd4620cc7c6145c963b761df7da972ce6c990..aed5b17c0e2b3af99da41e57010a086eb5d675c0 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -385,7 +385,8 @@ echo "Making links to \`lib-src'"
  ln [a-zA-Z]*.[ch] ../${tempdir}/lib-src
  ln ChangeLog Makefile.in README testfile ../${tempdir}/lib-src
  ln grep-changelog rcs2log ../${tempdir}/lib-src
- ln makefile.w32-in ../${tempdir}/lib-src)
+ ln makefile.w32-in ../${tempdir}/lib-src
+ ln update-game-score.exe.manifest ../${tempdir}/lib-src)
 
 echo "Making links to \`m4'"
 (cd m4